The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Kim Guldstrand Larsen Books

Results for Kim Guldstrand Larsen

Showing 1 to 4 of 4 results
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings (Lecture Notes in Computer Science) Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings (Lecture Notes in Computer Science) by Deepak D'Souza,Akash Lal,Kim Guldstrand Larsen

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings (Lecture Notes in Computer Science)

by Deepak D'Souza,Akash Lal,Kim Guldstrand Larsen


ISBN 13: 9783662460801

Format: Paperback (488 pages)
Publisher: Springer
Published: 28 Jan 2015

Save for later

 
New : $65.30  
New : $65.30
Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, ... 10606 (Lecture Notes in Computer Science) Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, ... 10606 (Lecture Notes in Computer Science) by Kim Guldstrand Larsen,Oleg Sokolsky,Ji Wang

Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, ... 10606 (Lecture Notes in Computer Science)

by Kim Guldstrand Larsen,Oleg Sokolsky,Ji Wang


ISBN 13: 9783319694825

Format: Paperback (372 pages)
Publisher: Springer
Published: 17 Oct 2017

Save for later

 
New : $65.23  
New : $65.23
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint ... 1,: 12652 (Lecture Notes in Computer Science) Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint ... 1,: 12652 (Lecture Notes in Computer Science) by Jan Friso Groote,Kim Guldstrand Larsen

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint ... 1,: 12652 (Lecture Notes in Computer Science)

by Jan Friso Groote,Kim Guldstrand Larsen


ISBN 13: 9783030720124

Format: Paperback (488 pages)
Publisher: Springer
Published: 23 Mar 2021

Save for later

 
New : $42.68  
New : $42.68
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint ... 1,: 12651 (Lecture Notes in Computer Science) Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint ... 1,: 12651 (Lecture Notes in Computer Science) by Jan Friso Groote,Kim Guldstrand Larsen

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint ... 1,: 12651 (Lecture Notes in Computer Science)

by Jan Friso Groote,Kim Guldstrand Larsen


ISBN 13: 9783030720155

Format: Paperback (496 pages)
Publisher: Springer
Published: 20 Mar 2021

Save for later

 
New : $42.69  
New : $42.69